type symbol = number;
